Centrum Voor Wiskunde En Informatica Time-stamped Actions in Algebras Time-stamped Actions in Pcrl Algebras

Time-stamped Actions in pCRL Algebras

We present two extensions of pCRL with time-stamped actions: pCRL for absolute time and pCRLr for relative time. We de ne timed bisimilarity for both versions and prove that the given axiomatisations are ground complete, provided that the data types have built-in equality and Skolem functions. We base the completeness proofs on the completeness results for untimed pCRL. 1991 Mathematics Subject...

Computational Steering

Robert van Liere Centrum voor Wiskunde en Informatica P.O. Box 94079, 1090 GB Amsterdam The Netherlands E-mail: [email protected] Jurriaan D. Mulder Centrum voor Wiskunde en Informatica P.O. Box 94079, 1090 GB Amsterdam The Netherlands E-mail: [email protected] Jarke J. van Wijk Netherlands Energy Research Foundation ECN P.O. Box 1, 1755 ZG Petten The Netherlands Centrum voor Wiskunde en Informatica P...

Reducing Dynamic Feature Usage in PHP Code

Faculteit der Natuurwetenschappen, Wiskunde en Informatica Centrum voor Wiskunde en Informatica

Centrum Voor Wiskunde En Informatica Real-time Disk Scheduling in a Mixed-media File System

Centrum Voor Wiskunde En Informatica Independent Multiresolution Component Analysis and Matching Pursuit